退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:约束逻辑编程的声明性编译
Emilio Jesús; Gallego Arias; James Lipton; Julio Mariño;
机译:用重写逻辑编写程序以进行声明式编程
机译:关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译:概率逻辑程序中的TP编译
机译:约束逻辑编程的声明式编译
机译:用组合逻辑单元编译AHPL描述,以建立可编程逻辑阵列的路径。
机译:具有时间约束的声明式编程使用CG语言
机译:使用约束逻辑编程的自测程序的可重定向编译
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
机译:逻辑电路的时序约束生成系统以及逻辑电路的时序约束生成方法,控制程序和可读记录介质
机译:包含声明性和程序性约束的高级数据模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。